viewSelector: emit a signal when the view is empty

This is very a useful point in time when the size of the side controls
can change without affecting any visible view. Emit a signal at that
time.

https://bugzilla.gnome.org/show_bug.cgi?id=693924

diff --git a/js/ui/viewSelector.js b/js/ui/viewSelector.js
index b40da6fd9a70d388a3c674f22c46a2f1c43f227b..7a3182a2cf2179cf53030264fcd973b2905c9cd9 100644 (file)
--- a/js/ui/viewSelector.js
+++ b/js/ui/viewSelector.js
@@ -205,6 +205,8 @@ const ViewSelector = new Lang.Class({
     },
 
     _fadePageIn: function() {
+        this.emit('page-empty');
+
         this._activePage.show();
         Tweener.addTween(this._activePage,
             { opacity: 255,